Fix bug #13055 with cursor positioning inside scroll-margin.
authorEli Zaretskii <eliz@gnu.org>
Mon, 3 Dec 2012 20:48:12 +0000 (22:48 +0200)
committerEli Zaretskii <eliz@gnu.org>
Mon, 3 Dec 2012 20:48:12 +0000 (22:48 +0200)
commit15cdf9527f5a78a5ea9aa0ba3fee8d7b84c3acf9
tree46fbbd9968d89422f996777fb70c694af75c4385
parentdf52d048d3c01d4933d68276a56b87972c91e35c
Fix bug #13055 with cursor positioning inside scroll-margin.

 src/xdisp.c (redisplay_window): If the cursor is visible, but inside
 the scroll margin, move point outside the margin.
src/ChangeLog
src/xdisp.c